* etc/PROBLEMS: Remove some no-longer relevant stuff re installation
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 01:54:51 +0000 (20:54 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 01:54:51 +0000 (20:54 -0500)
commit4f49d0a20727af17e9d990250496628c1116b07e
tree5abd6b1b641da7ad8ef2feec656e2246ef261e1c
parent1e6a422c95f3504f2adb8923073c36aae8292262
* etc/PROBLEMS: Remove some no-longer relevant stuff re installation
etc/PROBLEMS